le diplôme d'ingénieur du corps des mines

aux ingénieurs des mines

sortis de l'Ecole nationale supérieure des mines de Paris en 1993